Integrand size = 22, antiderivative size = 22 \[ \int \frac {1}{x^4 \left (c+a^2 c x^2\right )^2 \arctan (a x)^2} \, dx=-\frac {1}{a c^2 x^4 \arctan (a x)}+\frac {a}{c^2 x^2 \arctan (a x)}-\frac {a^3}{c^2 \left (1+a^2 x^2\right ) \arctan (a x)}-\frac {a^3 \text {Si}(2 \arctan (a x))}{c^2}-\frac {4 \text {Int}\left (\frac {1}{x^5 \arctan (a x)},x\right )}{a c^2}+\frac {2 a \text {Int}\left (\frac {1}{x^3 \arctan (a x)},x\right )}{c^2} \]
-1/a/c^2/x^4/arctan(a*x)+a/c^2/x^2/arctan(a*x)-a^3/c^2/(a^2*x^2+1)/arctan( a*x)-a^3*Si(2*arctan(a*x))/c^2-4*Unintegrable(1/x^5/arctan(a*x),x)/a/c^2+2 *a*Unintegrable(1/x^3/arctan(a*x),x)/c^2
Not integrable
Time = 2.58 (sec) , antiderivative size = 24, normalized size of antiderivative = 1.09 \[ \int \frac {1}{x^4 \left (c+a^2 c x^2\right )^2 \arctan (a x)^2} \, dx=\int \frac {1}{x^4 \left (c+a^2 c x^2\right )^2 \arctan (a x)^2} \, dx \]
Not integrable
Time = 1.28 (sec) , antiderivative size = 22, normalized size of antiderivative = 1.00, number of steps used = 14, number of rules used = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {5501, 27, 5461, 5377, 5501, 5437, 5461, 5377, 5505, 4906, 27, 3042, 3780}
Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.
\(\displaystyle \int \frac {1}{x^4 \arctan (a x)^2 \left (a^2 c x^2+c\right )^2} \, dx\) |
\(\Big \downarrow \) 5501 |
\(\displaystyle \frac {\int \frac {1}{c x^4 \left (a^2 x^2+1\right ) \arctan (a x)^2}dx}{c}-a^2 \int \frac {1}{c^2 x^2 \left (a^2 x^2+1\right )^2 \arctan (a x)^2}dx\) |
\(\Big \downarrow \) 27 |
\(\displaystyle \frac {\int \frac {1}{x^4 \left (a^2 x^2+1\right ) \arctan (a x)^2}dx}{c^2}-\frac {a^2 \int \frac {1}{x^2 \left (a^2 x^2+1\right )^2 \arctan (a x)^2}dx}{c^2}\) |
\(\Big \downarrow \) 5461 |
\(\displaystyle \frac {-\frac {4 \int \frac {1}{x^5 \arctan (a x)}dx}{a}-\frac {1}{a x^4 \arctan (a x)}}{c^2}-\frac {a^2 \int \frac {1}{x^2 \left (a^2 x^2+1\right )^2 \arctan (a x)^2}dx}{c^2}\) |
\(\Big \downarrow \) 5377 |
\(\displaystyle \frac {-\frac {4 \int \frac {1}{x^5 \arctan (a x)}dx}{a}-\frac {1}{a x^4 \arctan (a x)}}{c^2}-\frac {a^2 \int \frac {1}{x^2 \left (a^2 x^2+1\right )^2 \arctan (a x)^2}dx}{c^2}\) |
\(\Big \downarrow \) 5501 |
\(\displaystyle \frac {-\frac {4 \int \frac {1}{x^5 \arctan (a x)}dx}{a}-\frac {1}{a x^4 \arctan (a x)}}{c^2}-\frac {a^2 \left (\int \frac {1}{x^2 \left (a^2 x^2+1\right ) \arctan (a x)^2}dx-a^2 \int \frac {1}{\left (a^2 x^2+1\right )^2 \arctan (a x)^2}dx\right )}{c^2}\) |
\(\Big \downarrow \) 5437 |
\(\displaystyle \frac {-\frac {4 \int \frac {1}{x^5 \arctan (a x)}dx}{a}-\frac {1}{a x^4 \arctan (a x)}}{c^2}-\frac {a^2 \left (\int \frac {1}{x^2 \left (a^2 x^2+1\right ) \arctan (a x)^2}dx-a^2 \left (-2 a \int \frac {x}{\left (a^2 x^2+1\right )^2 \arctan (a x)}dx-\frac {1}{a \left (a^2 x^2+1\right ) \arctan (a x)}\right )\right )}{c^2}\) |
\(\Big \downarrow \) 5461 |
\(\displaystyle \frac {-\frac {4 \int \frac {1}{x^5 \arctan (a x)}dx}{a}-\frac {1}{a x^4 \arctan (a x)}}{c^2}-\frac {a^2 \left (-\left (a^2 \left (-2 a \int \frac {x}{\left (a^2 x^2+1\right )^2 \arctan (a x)}dx-\frac {1}{a \left (a^2 x^2+1\right ) \arctan (a x)}\right )\right )-\frac {2 \int \frac {1}{x^3 \arctan (a x)}dx}{a}-\frac {1}{a x^2 \arctan (a x)}\right )}{c^2}\) |
\(\Big \downarrow \) 5377 |
\(\displaystyle \frac {-\frac {4 \int \frac {1}{x^5 \arctan (a x)}dx}{a}-\frac {1}{a x^4 \arctan (a x)}}{c^2}-\frac {a^2 \left (-\left (a^2 \left (-2 a \int \frac {x}{\left (a^2 x^2+1\right )^2 \arctan (a x)}dx-\frac {1}{a \left (a^2 x^2+1\right ) \arctan (a x)}\right )\right )-\frac {2 \int \frac {1}{x^3 \arctan (a x)}dx}{a}-\frac {1}{a x^2 \arctan (a x)}\right )}{c^2}\) |
\(\Big \downarrow \) 5505 |
\(\displaystyle \frac {-\frac {4 \int \frac {1}{x^5 \arctan (a x)}dx}{a}-\frac {1}{a x^4 \arctan (a x)}}{c^2}-\frac {a^2 \left (-\left (a^2 \left (-\frac {2 \int \frac {a x}{\left (a^2 x^2+1\right ) \arctan (a x)}d\arctan (a x)}{a}-\frac {1}{a \left (a^2 x^2+1\right ) \arctan (a x)}\right )\right )-\frac {2 \int \frac {1}{x^3 \arctan (a x)}dx}{a}-\frac {1}{a x^2 \arctan (a x)}\right )}{c^2}\) |
\(\Big \downarrow \) 4906 |
\(\displaystyle \frac {-\frac {4 \int \frac {1}{x^5 \arctan (a x)}dx}{a}-\frac {1}{a x^4 \arctan (a x)}}{c^2}-\frac {a^2 \left (-\left (a^2 \left (-\frac {2 \int \frac {\sin (2 \arctan (a x))}{2 \arctan (a x)}d\arctan (a x)}{a}-\frac {1}{a \left (a^2 x^2+1\right ) \arctan (a x)}\right )\right )-\frac {2 \int \frac {1}{x^3 \arctan (a x)}dx}{a}-\frac {1}{a x^2 \arctan (a x)}\right )}{c^2}\) |
\(\Big \downarrow \) 27 |
\(\displaystyle \frac {-\frac {4 \int \frac {1}{x^5 \arctan (a x)}dx}{a}-\frac {1}{a x^4 \arctan (a x)}}{c^2}-\frac {a^2 \left (-\left (a^2 \left (-\frac {\int \frac {\sin (2 \arctan (a x))}{\arctan (a x)}d\arctan (a x)}{a}-\frac {1}{a \left (a^2 x^2+1\right ) \arctan (a x)}\right )\right )-\frac {2 \int \frac {1}{x^3 \arctan (a x)}dx}{a}-\frac {1}{a x^2 \arctan (a x)}\right )}{c^2}\) |
\(\Big \downarrow \) 3042 |
\(\displaystyle \frac {-\frac {4 \int \frac {1}{x^5 \arctan (a x)}dx}{a}-\frac {1}{a x^4 \arctan (a x)}}{c^2}-\frac {a^2 \left (-\left (a^2 \left (-\frac {\int \frac {\sin (2 \arctan (a x))}{\arctan (a x)}d\arctan (a x)}{a}-\frac {1}{a \left (a^2 x^2+1\right ) \arctan (a x)}\right )\right )-\frac {2 \int \frac {1}{x^3 \arctan (a x)}dx}{a}-\frac {1}{a x^2 \arctan (a x)}\right )}{c^2}\) |
\(\Big \downarrow \) 3780 |
\(\displaystyle \frac {-\frac {4 \int \frac {1}{x^5 \arctan (a x)}dx}{a}-\frac {1}{a x^4 \arctan (a x)}}{c^2}-\frac {a^2 \left (-\frac {2 \int \frac {1}{x^3 \arctan (a x)}dx}{a}-\left (a^2 \left (-\frac {1}{a \left (a^2 x^2+1\right ) \arctan (a x)}-\frac {\text {Si}(2 \arctan (a x))}{a}\right )\right )-\frac {1}{a x^2 \arctan (a x)}\right )}{c^2}\) |
3.6.58.3.1 Defintions of rubi rules used
Int[(a_)*(Fx_), x_Symbol] :> Simp[a Int[Fx, x], x] /; FreeQ[a, x] && !Ma tchQ[Fx, (b_)*(Gx_) /; FreeQ[b, x]]
Int[sin[(e_.) + (f_.)*(x_)]/((c_.) + (d_.)*(x_)), x_Symbol] :> Simp[SinInte gral[e + f*x]/d, x] /; FreeQ[{c, d, e, f}, x] && EqQ[d*e - c*f, 0]
Int[Cos[(a_.) + (b_.)*(x_)]^(p_.)*((c_.) + (d_.)*(x_))^(m_.)*Sin[(a_.) + (b _.)*(x_)]^(n_.), x_Symbol] :> Int[ExpandTrigReduce[(c + d*x)^m, Sin[a + b*x ]^n*Cos[a + b*x]^p, x], x] /; FreeQ[{a, b, c, d, m}, x] && IGtQ[n, 0] && IG tQ[p, 0]
Int[((a_.) + ArcTan[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)*((d_.)*(x_))^(m_.), x_Sy mbol] :> Unintegrable[(d*x)^m*(a + b*ArcTan[c*x^n])^p, x] /; FreeQ[{a, b, c , d, m, n, p}, x]
Int[((a_.) + ArcTan[(c_.)*(x_)]*(b_.))^(p_)*((d_) + (e_.)*(x_)^2)^(q_), x_S ymbol] :> Simp[(d + e*x^2)^(q + 1)*((a + b*ArcTan[c*x])^(p + 1)/(b*c*d*(p + 1))), x] - Simp[2*c*((q + 1)/(b*(p + 1))) Int[x*(d + e*x^2)^q*(a + b*Arc Tan[c*x])^(p + 1), x], x] /; FreeQ[{a, b, c, d, e}, x] && EqQ[e, c^2*d] && LtQ[q, -1] && LtQ[p, -1]
Int[(((a_.) + ArcTan[(c_.)*(x_)]*(b_.))^(p_)*((f_.)*(x_))^(m_))/((d_) + (e_ .)*(x_)^2), x_Symbol] :> Simp[(f*x)^m*((a + b*ArcTan[c*x])^(p + 1)/(b*c*d*( p + 1))), x] - Simp[f*(m/(b*c*d*(p + 1))) Int[(f*x)^(m - 1)*(a + b*ArcTan [c*x])^(p + 1), x], x] /; FreeQ[{a, b, c, d, e, f, m}, x] && EqQ[e, c^2*d] && LtQ[p, -1]
Int[((a_.) + ArcTan[(c_.)*(x_)]*(b_.))^(p_.)*(x_)^(m_)*((d_) + (e_.)*(x_)^2 )^(q_), x_Symbol] :> Simp[1/d Int[x^m*(d + e*x^2)^(q + 1)*(a + b*ArcTan[c *x])^p, x], x] - Simp[e/d Int[x^(m + 2)*(d + e*x^2)^q*(a + b*ArcTan[c*x]) ^p, x], x] /; FreeQ[{a, b, c, d, e}, x] && EqQ[e, c^2*d] && IntegersQ[p, 2* q] && LtQ[q, -1] && ILtQ[m, 0] && NeQ[p, -1]
Int[((a_.) + ArcTan[(c_.)*(x_)]*(b_.))^(p_.)*(x_)^(m_.)*((d_) + (e_.)*(x_)^ 2)^(q_), x_Symbol] :> Simp[d^q/c^(m + 1) Subst[Int[(a + b*x)^p*(Sin[x]^m/ Cos[x]^(m + 2*(q + 1))), x], x, ArcTan[c*x]], x] /; FreeQ[{a, b, c, d, e, p }, x] && EqQ[e, c^2*d] && IGtQ[m, 0] && ILtQ[m + 2*q + 1, 0] && (IntegerQ[q ] || GtQ[d, 0])
Not integrable
Time = 21.47 (sec) , antiderivative size = 22, normalized size of antiderivative = 1.00
\[\int \frac {1}{x^{4} \left (a^{2} c \,x^{2}+c \right )^{2} \arctan \left (a x \right )^{2}}d x\]
Not integrable
Time = 0.23 (sec) , antiderivative size = 40, normalized size of antiderivative = 1.82 \[ \int \frac {1}{x^4 \left (c+a^2 c x^2\right )^2 \arctan (a x)^2} \, dx=\int { \frac {1}{{\left (a^{2} c x^{2} + c\right )}^{2} x^{4} \arctan \left (a x\right )^{2}} \,d x } \]
Not integrable
Time = 1.42 (sec) , antiderivative size = 44, normalized size of antiderivative = 2.00 \[ \int \frac {1}{x^4 \left (c+a^2 c x^2\right )^2 \arctan (a x)^2} \, dx=\frac {\int \frac {1}{a^{4} x^{8} \operatorname {atan}^{2}{\left (a x \right )} + 2 a^{2} x^{6} \operatorname {atan}^{2}{\left (a x \right )} + x^{4} \operatorname {atan}^{2}{\left (a x \right )}}\, dx}{c^{2}} \]
Not integrable
Time = 0.30 (sec) , antiderivative size = 107, normalized size of antiderivative = 4.86 \[ \int \frac {1}{x^4 \left (c+a^2 c x^2\right )^2 \arctan (a x)^2} \, dx=\int { \frac {1}{{\left (a^{2} c x^{2} + c\right )}^{2} x^{4} \arctan \left (a x\right )^{2}} \,d x } \]
-((a^3*c^2*x^6 + a*c^2*x^4)*arctan(a*x)*integrate(2*(3*a^2*x^2 + 2)/((a^5* c^2*x^9 + 2*a^3*c^2*x^7 + a*c^2*x^5)*arctan(a*x)), x) + 1)/((a^3*c^2*x^6 + a*c^2*x^4)*arctan(a*x))
Not integrable
Time = 89.12 (sec) , antiderivative size = 3, normalized size of antiderivative = 0.14 \[ \int \frac {1}{x^4 \left (c+a^2 c x^2\right )^2 \arctan (a x)^2} \, dx=\int { \frac {1}{{\left (a^{2} c x^{2} + c\right )}^{2} x^{4} \arctan \left (a x\right )^{2}} \,d x } \]
Not integrable
Time = 0.43 (sec) , antiderivative size = 24, normalized size of antiderivative = 1.09 \[ \int \frac {1}{x^4 \left (c+a^2 c x^2\right )^2 \arctan (a x)^2} \, dx=\int \frac {1}{x^4\,{\mathrm {atan}\left (a\,x\right )}^2\,{\left (c\,a^2\,x^2+c\right )}^2} \,d x \]